signature SHRINK_STRUCTS =
sig
  structure Cfg : CFG
end

signature SHRINK =
sig
  include SHRINK_STRUCTS

  val shrink : Cfg.Program.t -> Cfg.Program.t 
end
